\begin{tabbing}
$\forall$\=${\it ds}$:(Id$\rightarrow$Type\{i\}), ${\it da}$:(Id$\rightarrow$Knd$\rightarrow$Type\{i\}), $A$, $B$:Type\{i\}, $C$:component\{i:l\}(${\it ds}$; ${\it da}$; $A$; $B$),\+
\\[0ex]$P$:es{-}component\=\{i:l\}\+
\\[0ex]($A$; $B$).
\-\-\\[0ex]component{-}realizes\{i:l\}(${\it ds}$; ${\it da}$; $A$; $B$; $C$; ${\it es}$,${\it in}$,${\it out}$.$P$(${\it es}$,${\it in}$,${\it out}$)) $\in$ $\mathbb{P}$\{i''\}
\end{tabbing}